Planning CCS Development in the West Mediterranean

Planning Equational Verification in CCS

Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical communicating systems and hence there is interest in a novel class of problems, which we call VIPS, involving value-passing, infinite-state, parameterised systems. Existing approaches using model checking over FSSs are ins...

Planning proofs of correctness of CCS systems

the survey of the virtual higher education in iran and the ways of its development and improvement

این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.

Investigation of some metals in honey samples from West Mediterranean region of Turkey

Analysis of elements content in honey is important for honey quality and safety and for monitoring of environmental pollution. The levels of 22 elements, aluminum (Al), barium (Ba), calcium (Ca), cadmium (Cd), chromium (Cr), cobalt (Co), iron (Fe), copper (Cu), potassium (K), magnesium (Mg), manganese (Mn), nickel (Ni), sodium (Na), lead (Pb), strontium (Sr), silver (Ag), bismuth (Bi), gallium ...

Rethinking CCS - Strategies for Technology Development in Times

Concerns over climate change and a reliance on C0 2-emitting fossil fuels for a majority of the world's energy supply have motivated the development of carbon dioxide capture and storage (CCS). However, CCS is not yet commercially available, and key technical roadblocks remain. However, the external circumstances for developing the technology, such as weak climate policy and tight public financ...